title : Relativized Collapsing Results under Stringent Oracle Access
نویسندگان
چکیده
For relativized arguments, we propose to restrict oracle queries to “stringent” ones. For example, when comparing the power of two machine models relative to some oracle set X, we restrict that machines of both types ask queries from the same segment of the set X. In particular, for investigating polynomial-time (or polynomial-size) computability, we propose polynomial stringency, bounding query length to any fixed polynomial of input length. Under such stringent oracle access, we show, for example, an oracle G such that P = Σ d , for any constant d ≥ 1.
منابع مشابه
Technical Reports on Mathematical and Computing Sciences: TR-C168
For relativized arguments, we propose to restrict oracle queries to “stringent” ones; for comparing the power of two machine models relative to some oracle set, stringent relativization is to restrict machines of both types to ask queries on the same segment of the oracle. In particular, for investigating polynomial-time (or polynomial-size) computability, we propose polynomial stringency, boun...
متن کاملConstructing Oracles by Lower Bound Techniques for Circuits
Separating or collapsing complexity hierarchies has always been one of the most important problems in complexity theory. For most interesting hierarchies, however, we have been so far unable to either separate them or collapse them. Among these unsolvable questions, whether P equals NP is perhaps the most famous one. In view of the fundamental difficulty of these questions, a less interesting b...
متن کاملResearch Reports on Mathematical and Computing Sciences Department of Mathematical and Computing Sciences Tokyo Institute of Technology
A new notion of relativization—stringent relativization—has been proposed recently [CW06] for discussing collapsing relations of complexity classes, with which we hope to open a new approach for studying complexity classes. Starting with the motivation of this notion, we discuss the meaning and implication of collapsing relations under the stringent relativization.
متن کاملOn Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy
We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We first revisit a lower bound given by Kannan [Kan82], and for any fixed integer k > 0, we give an explicit Σp2 language, recognizable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. Next, as our main results, we give relativized results showing the difficulty of provi...
متن کاملThe Power of Natural Properties as Oracles
We study the power of randomized complexity classes that are given oracle access to a natural property of Razborov and Rudich (JCSS, 1997) or its special case, the Minimal Circuit Size Problem (MCSP). We obtain new circuit lower bounds, as well as some hardness results for the relativized version of MCSP under randomized reductions. For example, we show that
متن کامل